Model Counting in Product Configuration
نویسندگان
چکیده
We describe how to use propositional model counting for a quantitative analysis of product configuration data. Our approach computes valuable meta information such as the total number of valid configurations or the relative frequency of components. This information can be used to assess the severity of documentation errors or to measure documentation quality. As an application example we show how we apply these methods to product documentation formulas of the Mercedes-Benz line of vehicles. In order to process these large formulas we developed and implemented a new model counter for non-CNF formulas. Our model counter can process formulas, whose CNF representations could not be processed up till now.
منابع مشابه
A Two-phase Model for Product Design Development and Evaluation and Supplier Selection in Product Configuration Change Process (Case study: SUPCO)
A supply chain is composed of a complex sequence of processing stages, ranging from raw materials supplies, parts manufacturing, components and end-products assembling, to the delivery of end products. In the context of supply chain management, supplier selection decision is considered one of the key issues faced by operations and purchasing managers to remain competitive. Therefore, requiremen...
متن کاملA Two-phase Model for Product Design Development and Evaluation and Supplier Selection in Product Configuration Change Process (Case study: SUPCO)
A supply chain is composed of a complex sequence of processing stages, ranging from raw materials supplies, parts manufacturing, components and end-products assembling, to the delivery of end products. In the context of supply chain management, supplier selection decision is considered one of the key issues faced by operations and purchasing managers to remain competitive. Therefore, requiremen...
متن کاملA meta-heuristic approach supported by NSGA-II for the design and plan of supply chain networks considering new product development
There are many reasons for the growing interest in developing new product projects for any firm. The most embossed reason is surviving in a highly competitive industry which the customer tastes are changing rapidly. A well-managed supply chain network can provide the most profit for firms due to considering new product development. Along with profit, customer satisfaction and production of new ...
متن کاملEstimation in a Proportional Hazard Model for Semi-markov Counting Process
Estimation is studied in a regression model for counting processes whose baseline intensity processes are of semi-Markov form. Asymptotic normality is established for a Breslow-type estimator of the cumulative baseline hazard for each gap time of the counting process.
متن کاملSimplifying Configuration through Customer Oriented Product Models
Mass customization research explores the design and production of individualized products at mass product costs. Model-based configuration systems allow the customer to configure an individualized product. With increasing product and configuration complexity, ways of simplifying configuration for the customer are required. This paper discusses some principles of model-based configuration and in...
متن کامل